#include "cpu/exec/helper.h"
#include "ret.h"

make_helper(ret) {
    cpu.eip = swaddr_read(reg_l(R_ESP), 4);
    reg_l(R_ESP) += 4; 

    cpu.eip -= 1;
    
    print_asm("ret");
    return 1;
}